More from this Author
Found 4 books by Luigia Petre (Editor)
Integrated Formal Methods
by Michael Butler (Editor), Luigia Petre (Editor), Kaisa Sere (Editor)
From Action Systems to Distributed Systems
by Luigia Petre (Editor), Emil Sekerinski (Editor)
Formal Methods Teaching
by Brijesh Dongol (Editor), Luigia Petre (Editor), Graeme Smith (Editor)
Integrated Formal Methods
by Einar Broch Johnsen (Editor), Luigia Petre (Editor)